Erik De vink: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 163 KB

english, 2018

2

Longitudinal epitope mapping in MuSK myasthenia gravis: implications for disease severity

Huijbers, Maartje G., Vink, Anna-Fleur D., Niks, Erik H., Westhuis, Ruben H., van Zwet, Erik W., de Meel, Robert H., Rojas-García, Ricardo, Díaz-Manera, Jordi, Kuks, Jan B., Klooster, Rinse, Straashei

Journal:

Journal of Neuroimmunology

Year:

2016

Language:

english

File:

PDF, 1.31 MB

english, 2016

3

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 488 KB

english, 2018

4

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 597 KB

english, 2018

5

Preface: Volume 85, Issue 2

Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 37 KB

english, 2004

6

Calendar

Giannini, Paola, de Vink, Erik

Journal:

Ultrasound in Medicine & Biology

Year:

1989

Language:

english

File:

PDF, 108 KB

english, 1989

7

Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract)

Ana Sokolova, Erik de Vink, Harald Woracek

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 342 KB

english, 2005

8

Compositional and behavior-preserving reconfiguration of component connectors in Reo

Krause, Christian, Giese, Holger, de Vink, Erik

Journal:

Journal of Visual Languages & Computing

Year:

2013

Language:

english

File:

PDF, 904 KB

english, 2013

9

[ACM Press the 8th International Conference - Trento, Italy (2010.09.29-2010.10.01)] Proceedings of the 8th International Conference on Computational Methods in Systems Biology - CMSB '10 - Action-based analysis of discrete regulatory networks with short-term stimuli

Krause, Christian, Krause, Carola, de Vink, Erik P.

Year:

2010

Language:

english

File:

PDF, 1.14 MB

english, 2010

10

Improving the application of a practice guideline for the assessment and treatment of suicidal behavior by training the full staff of psychiatric departments via an e-learning supported Train-the-Trainer program: study protocol for a randomized controlled trial

Derek P de Beurs, Marieke H de Groot, Jos de Keijser, Bastiaan Verwey, Jan Mokkenstorm, Jos WR Twisk, Erik van Duijn, Albert M van Hemert, Lia Verlinde, Jan Spijker, Bert van Luijn, Jan Vink, Ad JFM K

Journal:

Year:

2013

Language:

english

File:

PDF, 322 KB

english, 2013

11

A hierarchy of probabilistic system types

Falk Bartels, Ana Sokolova, Erik de Vink

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 235 KB

english, 2003

12

Reo +mCRL2: A framework for model-checking dataflow in service compositions

Natallia Kokash, Christian Krause, Erik de Vink

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 1.31 MB

english, 2012

13

[Lecture Notes in Computer Science] Formal Methods for Dynamical Systems Volume 7938 || Model Checking of Biological Systems

Bernardo, Marco, de Vink, Erik, Di Pierro, Alessandra, Wiklicky, Herbert

Year:

2013

Language:

english

File:

PDF, 1.05 MB

english, 2013

14

[ACM Press the 18th International Software Product Line Conference - Florence, Italy (2014.09.15-2014.09.19)] Proceedings of the 18th International Software Product Line Conference on - SPLC '14 - SPLat 2014

Legay, Axel, de Vink, Erik

Year:

2014

Language:

english

File:

PDF, 355 KB

english, 2014

15

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Optimal and Robust Controller Synthesis

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 1003 KB

english, 2018

16

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Verifying Auto-generated C Code from Simulink

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 312 KB

english, 2018

17

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || 20 Years of Real Real Time Model Validation

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 299 KB

english, 2018

18

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Evidential and Continuous Integration of Software Verification Tools

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 1.15 MB

english, 2018

19

Knowledge, Rationality & Action || Update Semantics of Security Protocols

Arjen Hommersom, John-Jules Meyer and Erik De Vink

Journal:

Year:

2004

Language:

english

File:

PDF, 3.27 MB

english, 2004

20

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Disruptive Innovations for the Development and the Deployment of Fault-Free Software

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 375 KB

english, 2018

21

[ACM Press the 18th International Software Product Line Conference - Florence, Italy (2014.09.15-2014.09.19)] Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools - SPLC '14 - Software product line analysis with mCRL2

ter Beek, Maurice H., de Vink, Erik P.

Year:

2014

Language:

english

File:

PDF, 941 KB

english, 2014

22

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Formal Specification and Verification of Dynamic Parametrized Architectures

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 1.24 MB

english, 2018

23

Glomerular Function and Structural Integrity Depend on Hyaluronan Synthesis by Glomerular Endothelium

van den Berg, Bernard M., Wang, Gangqi, Boels, Margien G. S., Avramut, M. Cristina, Jansen, Erik, Sol, Wendy M. P. J., Lebrin, Franck, Jan van Zonneveld, Anton, de Koning, Eelco J. P., Vink, Hans, Grö

Journal:

Journal of the American Society of Nephrology

Year:

2019

Language:

english

File:

PDF, 2.74 MB

english, 2019

24

Multiparty Contract Signing Over a Reliable Network

Simona Orzan, Erik de Vink

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 293 KB

english, 2006

25

Preface

Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 65 KB

english, 2005

26

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 1.98 MB

english, 2018

27

Testing Familial Transmission of Smoking With Two Different Research Designs

Treur, Jorien L., Verweij, Karin J.H., Abdellaoui, Abdel, Fedko, Iryna O., de Zeeuw, Eveline L., Ehli, Erik A., Davies, Gareth E., Hottenga, Jouke-Jan, Willemsen, Gonneke, Boomsma, Dorret I., Vink, Ja

Journal:

Nicotine & Tobacco Research

Year:

2017

Language:

english

File:

PDF, 235 KB

english, 2017

28

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 328 KB

english, 2018

29

[ACM Press the 21st International Systems and Software Product Line Conference - Volume B - Sevilla, Spain (2017.09.25-2017.09.29)] Proceedings of the 21st International Systems and Software Product Line Conference - Volume B on ZZZ - SPLC '17 - Family-Based Model Checking of SPL based on mCRL2

Ben Snaiba, Ziad, de Vink, Erik P., Willemse, Tim A.C.

Year:

2017

Language:

english

File:

PDF, 1.15 MB

english, 2017

30

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Statistical Model Checking of LLVM Code

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 761 KB

english, 2018

31

Toward Reasoning about Security Protocols: A Semantic Approach

Arjen Hommersom, John-Jules Meyer, Erik de Vink

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 384 KB

english, 2005

32

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || On Software Safety, Security, and Abstract Interpretation

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 140 KB

english, 2018

33

[ACM Press the 2nd FME Workshop - Hyderabad, India (2014.06.03-2014.06.03)] Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering - FormaliSE 2014 - Using mCRL2 for the analysis of software product lines

Beek, Maurice H. ter, de Vink, Erik P.

Year:

2014

Language:

english

File:

PDF, 695 KB

english, 2014

34

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Dreams

Proença, José, Clarke, Dave, de Vink, Erik, Arbab, Farhad

Year:

2012

Language:

english

File:

PDF, 597 KB

english, 2012

35

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Z3 and SMT in Industrial R&D

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 150 KB

english, 2018

36

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || FSM Inference from Long Traces

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 386 KB

english, 2018

37

A formal actor-based model for streaming the future

Azadbakht, Keyvan, de Boer, Frank S., Bezirgiannis, Nikolaos, de Vink, Erik

Journal:

Science of Computer Programming

Year:

2020

File:

PDF, 1.10 MB

2020

38

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Multi-robot LTL Planning Under Uncertainty

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 704 KB

english, 2018

39

A hierarchy of probabilistic system types

Falk Bartels, Ana Sokolova, Erik de Vink

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 306 KB

english, 2004

40

[Lecture Notes in Computer Science] Transactions on Computational Systems Biology XIII Volume 6575 ||

Priami, Corrado, Back, Ralph-Johan, Petre, Ion, de Vink, Erik

Year:

2011

Language:

english

File:

PDF, 4.37 MB

english, 2011

41

Comparison of the molecular topologies of stress-activated transcription factors HSF1, AP-1, NRF2, and NF-κB in their induction kinetics of HMOX1

Pronk, Tessa E., van der Veen, Jochem W., Vandebriel, Rob J., van Loveren, Henk, de Vink, Erik P., Pennings, Jeroen L.A.

Journal:

Year:

2014

Language:

english

File:

PDF, 2.65 MB

english, 2014

42

Update Semantics of Security Protocols

Arjen Hommersom, John-jules Meyer, Erik De vink

Journal:

Year:

2004

Language:

english

File:

PDF, 634 KB

english, 2004

43

[Lecture Notes in Computer Science] Formal Methods for Dynamical Systems Volume 7938 ||

Bernardo, Marco, de Vink, Erik, Di Pierro, Alessandra, Wiklicky, Herbert

Year:

2013

Language:

english

File:

PDF, 6.13 MB

english, 2013

44

[Lecture Notes in Computer Science] Transactions on Computational Systems Biology XIV Volume 7625 ||

Priami, Corrado, Petre, Ion, de Vink, Erik

Year:

2012

Language:

english

File:

PDF, 8.57 MB

english, 2012

45

Preface

Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 71 KB

english, 2006

46

Preface

Giannini, Paola, de Vink, Erik

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 110 KB

english, 2013

47

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Vector Barrier Certificates and Comparison Systems

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 514 KB

english, 2018

48

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Modular Verification of Programs with Effects and Effect Handlers in Coq

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 388 KB

english, 2018

49

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || View Abstraction for Systems with Component Identities

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 386 KB

english, 2018

50

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Compositional Reasoning for Shared-Variable Concurrent Programs

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 830 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски